Abstract logic - PDFSEARCH.IO - Document Search Engine

Abstract logic
Results: 1693

#	Item
391	Theory and Applications of Categories, Vol. 20, No. 7, 2008, pp. 116–151. CATEGORY-THEORETIC MODELS OF LINEAR ABADI & PLOTKIN LOGIC LARS BIRKEDAL AND RASMUS E. MØGELBERG AND RASMUS L. PETERSEN Abstract. This paper pr Add to Reading List Source URL: www.tac.mta.ca Language: English - Date: 2008-04-11 15:08:38
392	Description Logic Reasoning with Decision Diagrams Compiling SH I Q to Disjunctive Datalog Sebastian Rudolph, Markus Krötzsch, and Pascal Hitzler Institut AIFB, Universität Karlsruhe, Germany Abstract. We propose a no Add to Reading List Source URL: korrekt.org Language: English - Date: 2012-03-20 09:42:09
393	Counter-Strategy Guided Refinement of GR(1) Temporal Logic Specifications Rajeev Alur, Salar Moarref, and Ufuk Topcu University of Pennsylvania, Philadelphia, USA. {alur,moarref,utopcu}@seas.upenn.edu Abstract—The reac Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2013-08-21 15:47:42
394	On the Computational Complexity of Naive-based Semantics for Abstract Dialectical Frameworks Sarah Alice Gaggl Computational Logic Group TU Dresden, Germany Add to Reading List Source URL: ddll.inf.tu-dresden.de Language: English - Date: 2015-05-06 03:48:04
395	Conditional Epistemic Planning Mikkel Birkegaard Andersen, Thomas Bolander, and Martin Holm Jensen Technical University of Denmark Abstract. Recent work has shown that Dynamic Epistemic Logic (DEL) offers a solid foundat Add to Reading List Source URL: www.imm.dtu.dk Language: English - Date: 2012-07-25 09:46:24
396	Logical Preliminaries Johannes C. Flieger Scheme UK March 2003 Abstract Survey of intuitionistic and classical propositional logic; introduction to the computational interpretation of intuitionistic logic in the Add to Reading List Source URL: schematics.sourceforge.net Language: English - Date: 2005-05-20 05:14:17
397	BASIC LOGIC, SMT SOLVERS AND FINITELY GENERATED VARIETIES OF GBL-ALGEBRAS PETER JIPSEN, CHAPMAN UNIVERSITY Extended Abstract Add to Reading List Source URL: math.chapman.edu Language: English - Date: 2013-09-06 00:49:56
398	Towards an Abstract Domain for Resource Analysis of Logic Programs using Sized Types Alejandro Serrano1, Pedro L´ opez-Garc´ıa1,2, and Manuel Hermenegildo1,3 arXiv:1308.3940v1 [cs.PL] 19 Aug 2013 Add to Reading List Source URL: entraproject.eu Language: English - Date: 2013-11-15 06:55:10
399	Description Logic and Rules the CHR Way Extended Abstract Thom Fr¨ uhwirth Fakult¨ at f¨ Add to Reading List Source URL: www.cs.bath.ac.uk Language: English - Date: 2012-01-04 14:09:26
400	ABSTRACT Explicit or Symbolic Translation of Linear Temporal Logic to Automata by Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2014-04-29 00:19:05

UPDATE